|
Christopher (Chris) Verhoef (born 1962) is a Dutch computer scientist, and Professor of Computer Science at the Vrije Universiteit in Amsterdam. == Biography == Born in Kedichem in 1962, Verhoef received his PhD in computer science at the University of Amsterdam in 1992 under supervision of Jan Bergstra with the thesis "Linear unary operators in process algebra." Verhoef had done his graduate work at the Programming Research Group of the University of Amsterdam, where in 1990 he had published his first report "On the register operator." Early 1990s he jointed the Department of Mathematics and Computing Science of Eindhoven University of Technology. One of his first research interests was the Algebra of Communicating Processes, an "algebraic theory to describe processes that can communicate."〔(Algebra of Communicating Processes ) at cs.vu.nl.〕 This field was initially developed by Jan Bergstra and Jan Willem Klop in 1982. With Alban Ponse and Bas van Vlijmen, Verhoef initiated the first two International Workshops on the Algebra of Communicating Processes in 1994 and 1995. In 1996/97 he returned to Programming Research Group of the University of Amsterdam, where he started focussing on Reverse engineering, the "theory and practice of recovering information from existing software and systems."〔(The dark side of the Millennium Bug ), Paul Wouters. ScienceChannel, October 1998.〕 In 1997 he co-chaired the Fourth IEEE Computer Society Working Conference on Reverse Engineering. Since early 2000s Verhoef is Professor of Computer Science at the Vrije Universiteit in Amsterdam. His research interests further extend in the fields of the structured operational semantics, and IT Portfolio Management. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Chris Verhoef」の詳細全文を読む スポンサード リンク
|